12

Alternating automata and temporal logic normal forms

Year:
2005
Language:
english
File:
PDF, 281 KB
english, 2005
13

A clausal resolution method for extended computation tree logic ECTL

Year:
2006
Language:
english
File:
PDF, 255 KB
english, 2006
17

Clausal resolution in a logic of rational agency

Year:
2002
Language:
english
File:
PDF, 342 KB
english, 2002
40

On Gromov’s conjecture for totally non-spin manifolds

Year:
2015
Language:
english
File:
PDF, 277 KB
english, 2015